A1_: A1+ :: _A1 ;
A1 : C3 [C4] C5 C6 C7 A8* [C9] :: A2 ;
A8 | C10 
   | A11;
